First-order logic - PDFSEARCH.IO - Document Search Engine

First-order logic
Results: 1172

#	Item
221	Automating Leibniz’s Theory of Concepts Automating Leibniz’s Theory of Concepts∗ Jesse Alama Vienna University of Technology Add to Reading List Source URL: mally.stanford.edu Language: English - Date: 2015-07-25 19:15:29 Logic Philosophy Mathematics Category theory Model theory Functions and mappings Universal property Saul Kripke First-order logic Sheaf Function Substitution
222	Paul E. Oppenheimer and Edward N. ZaltaIntroduction Add to Reading List Source URL: www.peoppenheimer.org Language: English - Date: 2011-02-19 16:20:02 Model theory Arguments for the existence of God Ontological argument Prover9 First-order logic Argument Interpretation
223	Clausal Connection-Based Theorem Proving in Intuitionistic First-Order Logic Jens Otten Institut f¨ ur Informatik, University of Potsdam August-Bebel-Str. 89, 14482 Potsdam-Babelsberg, Germany Add to Reading List Source URL: www.cs.uni-potsdam.de Language: English - Date: 2008-03-22 23:21:32
224	Distance based Kernel for First-Order Logic Data Nirattaya Khamsemanan1 , Cholwich Nattee1 , and Masayuki Numao2 1 Sirindhorn 2 The Add to Reading List Source URL: www.ilp2015.jp Language: English - Date: 2015-08-22 09:08:17
225	1. Introduction. 1.1 Aims of the project. The axiomatic translation [1] is a method for converting propositional modal logic into first-order logic, which can then be solved with standard first-order logic theorem prover Add to Reading List Source URL: project.kjsmith.net Language: English - Date: 2008-09-02 15:19:21
226	Specifying and Verifying Organizational Security Properties in First-Order Logic Christoph Brandt1 , Jens Otten2 , Christoph Kreitz2 , and Wolfgang Bibel3 1 Universit´e du Luxembourg Add to Reading List Source URL: www.jens-otten.de Language: English - Date: 2012-03-30 11:05:49
227	Programming with Personalized PageRank: A Locally Groundable First-Order Probabilistic Logic William Yang Wang Kathryn Mazaitis Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2013-08-11 21:49:35 Logic Philosophy Crowdsourcing Google Search PageRank Reputation management Search engine optimization Markov logic network Probabilistic logic Markov random field Inference Substitution
228	Combinations of theories for decidable fragments of first-order logic? Pascal Fontaine Universit´e de Nancy, Loria Nancy, France Add to Reading List Source URL: www.montefiore.ulg.ac.be Language: English - Date: 2009-07-01 12:27:09
229	First-Order Logic vs. Fixed-Point Logic in Finite Set Theory Albert Atserias Computer Science Department University of California Santa Cruz, CA 95064 Add to Reading List Source URL: www.cs.upc.edu Language: English - Date: 2005-02-18 13:55:08
230	The Expressive Completeness of Metric Temporal Logic 2ex Add to Reading List Source URL: highlights-conference.org Language: English* - Date: 2013-09-18 06:35:46 Mathematical logic Logic Fuzzy logic Theoretical computer science Temporal logic Monoidal t-norm logic FO LTL BL First-order logic Model checking MTL

UPDATE